-- Expected output: NaN
DEF MAIN:nat == sub(2, 3)

